Guest editorial. Qualitative methods in the health sciences

Formal Methods Guest Editorial

This introductory paper gives some historical background to the emergence of formal methods, overviews what subsequently happened, and surveys prospects for the future. Brief introductions to the remaining papers in the Special Issue are given.

Guest Editorial: Formal Methods

We’d better start by defining terms, since the phrase Formal Methods (FM) can have a wide range of connotations in Computer Science. For the purpose of this Special Theme Issue, ‘Formal Methods’ means the use of mathematical techniques for the construction of computing systems, with a particular focus on the construction of industrial scale systems. The focus on large systems is significant. Th...

Guest Editorial: Qualitative Research on Prejudice

Guest editorial for the Scandinavian Journal of Caring Sciences

An important role for academics in the caring sciences, and certainly a crucial indicator of their performance, is related to research outputs such as quantitative and qualitative studies and publication of findings in peer-reviewed journals. We recently joined a number of senior academic colleagues for an annual grant writing retreat with the aim of refining applications for external funding f...

Guest Editorial: Noise and Health

Noise affects everybody in everyday life—at home, at leisure, during sleep, when traveling, and at work. However, human organisms are not prepared to shut off the noise. Hearing is a permanent process using cortical and subcortical structures to filter and interpret acousti-cal information; the analysis of acoustical signals is essential for human survival and communication. Noise is detrimenta...